Pythagorean theorem from Heron’s formula: Another proof
نویسندگان
چکیده
منابع مشابه
Another proof of Banaschewski's surjection theorem
We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform subl...
متن کاملAnother Proof of Clairaut's Theorem
This note gives an alternate proof of Clairaut’s theorem—that the partial derivatives of a smooth function commute—using the Stone–Weierstrass theorem. Most calculus students have probably encountered Clairaut’s theorem. Theorem. Suppose that f : [a, b] × [c, d] → R has continuous second-order partial derivatives. Then fxy = fyx on (a, b)× (c, d). The proof found in many calculus textbooks (e.g...
متن کاملAnother proof of Soittola's theorem
Soittola’s theorem characterizes R+or N-rational formal power series in one variable among the rational formal power series with nonnegative coefficients. We present here a new proof of the theorem based on Soittola’s and Perrin’s proofs together with some new ideas that allows us to separate algebraic and analytic arguments. c © 2008 Elsevier B.V. All rights reserved.
متن کاملAnother Proof of the Harer-Zagier Formula
For a regular 2n-gon there are (2n − 1)!! ways to match and glue the 2n sides. The Harer-Zagier bivariate generating function enumerates the gluings by n and the genus g of the attendant surface and leads to a recurrence equation for the counts of gluings with parameters n and g. This formula was originally obtained using multidimensional Gaussian integrals. Soon after, Jackson and later Zagier...
متن کاملAnother Proof of a Freĭman-type Theorem
We provide a new proof of a Frĕıman-type theorem. Specifically, suppose that G is a locally compact abelian group with a Haar measure μG. The δ-ball Bδ of a translation invariant metric is called d-dimensional if μG(B2δ′ ) 6 2 dμG(Bδ′ ) for all δ ′ ∈ (0, δ]. We show that if A is a compact neighborhood with μG(nA) 6 n μG(A) for all n > d log d, then A is contained in a O(d log d)-dimensional bal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Resonance
سال: 2016
ISSN: 0971-8044,0973-712X
DOI: 10.1007/s12045-016-0369-6